; TEST-ARGS: -disallow-ub-exploitation

define i8 @a(ptr %p) null_pointer_is_valid {
  %b = load i8, ptr %p
  ret i8 %b
}

define ptr @b(ptr %p) null_pointer_is_valid {
  %b = load ptr, ptr %p, align 1
  ret ptr %b
}
